Statements (789)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:infrastructure
gptkb:military_training gptkb:organization gptkb:philosophy gptkb:region gptkb:software gptkb:spacecraft gptkb:company gptkb:geographical_location gptkb:headquarters gptkb:industry gptkb:model gptkb:personal_computer gptkb:residential_area blood test |
gptkbp:abbreviation |
gptkb:ITI
gptkb:MES |
gptkbp:alsoKnownAs |
gptkb:park
gptkb:FSM gptkb:industry finite automaton EV Charging Station EVSE |
gptkbp:alternativeName |
gptkb:Imitation_Game
Machinery industrial_area Industry industry_association industry_event industry_recognition manufacturing_facility manufacturing_plant manufacturing_process historical_industry industrial_zone traditional_industry Automated_Transfer_Vehicle Automobile_factory Chemical_factory Electric_Vehicle_Charging_Station Electrical_equipment Finite_State_Machine Healthcare_industry High-tech_industrial_zone Industrial_Area Industrial_Complex Industrial_Estate Industrial_Facility Industrial_Process Industrial_Site Industrial_Structure Industrial_Training_Institute Industrial_Zone Industrial_area Industrial_complex Industrial_enterprise Industrial_estate Industrial_facility Industrial_site Industrial_structure Industry_Association Industry_Category Industry_Sector Industry_Sub-Sector Industry_category Industry_group Industry_sector Industry_term Lisp_machine Luxury_industry_term Machine Manufacturing_Concept Manufacturing_Execution_System Manufacturing_Paradigm Manufacturing_Plant Manufacturing_Process Manufacturing_USA_Institute Manufacturing_USA_institute Manufacturing_operation Manufacturing_process Mobile_industry_initiative Organized_Industrial_Zone Sector Sewing_machine Technical_Machine Technology_company Turing_machine Turing_test advanced_manufacturing_facility advertising_industry_association advertising_industry_ranking arms_industry automation_software automation_technology automobile_assembly_plant automobile_designer automobile_factory automobile_manufacturer_division automobile_manufacturing_plant automotive_designer automotive_engineer automotive_industry_sector build_automation_tool chemical_factory chemical_industrial_complex chemical_industry_event chemical_industry_initiative chemical_industry_site chemical_manufacturing_facility construction_equipment construction_technology creative_industry_park cultural_and_creative_industries_complex electric_vehicle_charging_connector electrical_connector electrical_equipment electricity_industry electronic_design_automation energy_industry_term engine_manufacturing_facility explosives_factory factory_complex factory_system factory_tour fictional_factory finite-state_machine global_industry_network industrial_action industrial_centre industrial_city industrial_classification_system industrial_cleaner industrial_complex industrial_corridor industrial_design industrial_designer industrial_development industrial_development_agency industrial_development_project industrial_dispute industrial_enterprise industrial_equipment industrial_estate industrial_exhibition industrial_facility industrial_internet_platform industrial_plant industrial_precinct industrial_process industrial_product industrial_project industrial_property industrial_real_estate_company industrial_revolution industrial_sector industrial_site industrial_structure industrial_symbiosis_network industrial_system industry_advocacy_group industry_affiliate_program industry_alliance industry_body industry_category industry_classification_system industry_consortium industry_group industry_guideline industry_initiative industry_liaison_program industry_nickname industry_organization industry_partnership_program industry_sector industry_term legal_industry_ranking machine manufactory manufacturing_complex manufacturing_division manufacturing_industry manufacturing_initiative manufacturing_innovation_institute manufacturing_innovation_network manufacturing_network manufacturing_sector manufacturing_strategy manufacturing_system material_handling_equipment mining_industry_sector mobile_industry_initiative network_of_factories network_of_manufacturing_innovation_institutes organized_industrial_zone refinerÃa revolución_industrial sector series_of_industrial_studies sewing_machine space_industry_professional sporting_goods_manufacturer technology_company technology_industry technology_industry_consortium technology_industry_report technology_sector ultrasound_machine |
gptkbp:application |
digital circuit design
protocol design regular expression matching lexical analysis parsing control systems |
gptkbp:architecture |
custom hardware for Lisp execution
|
gptkbp:autonomousNavigation |
yes
|
gptkbp:basisFor |
gptkb:Church–Turing_thesis
gptkb:mathematics gptkb:universal_Turing_machine |
gptkbp:benefit |
Economic development
Job creation attracts investment creates employment opportunities encourages economic development Clustered industrial activity |
gptkbp:canBe |
gptkb:Smart_Charging
Solar Powered deterministic non-deterministic Battery Electric Vehicles Plug-in Hybrid Vehicles |
gptkbp:canBeUsedFor |
gptkb:game_AI
protocol design regular expression matching lexical analysis parsing control systems |
gptkbp:canDecide |
recursive languages
|
gptkbp:canInclude |
any algorithm
|
gptkbp:cannotDecide |
undecidable problems
|
gptkbp:category |
gptkb:historical_documents
gptkb:software gptkb:technology gptkb:agricultural_machinery gptkb:consumer_electronics gptkb:workstation Textile machinery operations management production management factory automation AI hardware Lisp programming language hardware |
gptkbp:collaboratesWith |
gptkb:government
gptkb:industry academia |
gptkbp:component |
gptkb:Bobbin
gptkb:Industry_4.0 gptkb:Smart_Manufacturing gptkb:digital_marketing Spool Foot pedal Needle Feed dogs Hand wheel Presser foot Tension discs |
gptkbp:contributedTo |
Electric Vehicle Adoption
|
gptkbp:country |
gptkb:India
|
gptkbp:countryOfOrigin |
gptkb:Europe
|
gptkbp:criteria |
Indistinguishability from human responses
|
gptkbp:criticizedFor |
gptkb:John_Searle
gptkb:Noam_Chomsky |
gptkbp:declinedAfter |
cost
increasing performance of conventional computers rise of general-purpose workstations |
gptkbp:describedBy |
state transition diagram
state transition table |
gptkbp:describedIn |
gptkb:Computing_Machinery_and_Intelligence
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem |
gptkbp:designedBy |
gptkb:ESA
|
gptkbp:designedFor |
running Lisp programs
|
gptkbp:developedBy |
gptkb:MIT_AI_Lab
1970s |
gptkbp:diameter |
4.5 m
|
gptkbp:dockedWith |
gptkb:Russian_Service_Module_(ISS)
automated |
gptkbp:duration |
6 months to 2 years
|
gptkbp:enables |
real-time decision making
paperless manufacturing Long Distance Travel for EVs |
gptkbp:enrollment |
completion of 8th, 10th, or 12th grade
|
gptkbp:establishedBy |
gptkb:Directorate_General_of_Training
|
gptkbp:example |
gptkb:Jebel_Ali_Free_Zone
gptkb:Shenzhen_Industrial_Zone gptkb:Silicon_Valley_industrial_parks universal computation model |
gptkbp:feature |
Warehousing facilities
Manufacturing plants Logistics centers zoned for industrial use Access to transportation may be located near airports may be located near highways may be located near ports may be located near railways may have access to transportation networks may have special infrastructure may include distribution centers may include factories may include logistics centers may include manufacturing plants may include warehouses Infrastructure for factories May be government-planned May be privately developed Often located on city outskirts Utilities supply Zoned for industrial use |
gptkbp:field |
gptkb:artificial_intelligence
|
gptkbp:firstAired |
recursively enumerable languages
|
gptkbp:firstDescribed |
1943
|
gptkbp:firstFlight |
2008-03-09
2014-07-29 |
gptkbp:firstIntroduced |
1980s
|
gptkbp:focusesOn |
gptkb:AI_Infrastructure
gptkb:Large_Language_Models advanced manufacturing Open-source AI |
gptkbp:formalizedBy |
gptkb:Michael_O._Rabin
gptkb:Dana_Scott gptkb:Mealy_machine gptkb:Moore_machine gptkb:Turing_machine_(as_a_generalization) gptkb:model 1959 |
gptkbp:foundedBy |
gptkb:Phil_Wang
gptkb:Philipp_Schmid gptkb:Sylvain_Gugger gptkb:Thomas_Wolf gptkb:Charlie_Snell gptkb:Clement_Delangue gptkb:Patrick_Lewis gptkb:Patrick_von_Platen gptkb:Romain_Beaumont gptkb:Sasha_Rush gptkb:Timo_Schick gptkb:Yann_Dubois gptkb:Zhenzhong_Lan Julien Simon Victor Sanh Yacine Jernite Adam Daniel King Jacob Jackson Jeff Boudier Joe Hoover Lewis Tunstall Lysandre Debut Mariam Kiran Merve Noyan Morgan Funtowicz Nathaniel Simard Niels Rogge Nina Poliak Olivier Cruchant Omar Sanseviero Pedro Cuenca Piotr Bialecki Quentin Lhoest Sam Shadwell Sayak Paul Stas Bekman Sébastien Jean Younes Belkada Zachary Hanif Zaid Alyafeai |
gptkbp:function |
resource allocation
inventory management performance analysis quality management traceability production scheduling |
gptkbp:goal |
accelerate manufacturing innovation
develop advanced manufacturing technologies train manufacturing workforce |
gptkbp:governedBy |
gptkb:National_Council_for_Vocational_Training
|
gptkbp:hasApplication |
user interface design
hardware design pattern recognition compiler construction text processing network protocol design traffic light control protocol verification robotics elevator control |
gptkbp:hasArea |
accept state
halt state reject state start state finite number |
gptkbp:hasComponent |
states
transitions outputs accepting states initial state input alphabet head inputs finite state control tape |
gptkbp:hasConnection |
gptkb:CCS
gptkb:CHAdeMO gptkb:car Type 1 Type 2 |
gptkbp:hasFeature |
Adjustable stitch length
Automatic needle threader Multiple stitch patterns Adjustable stitch width Buttonhole function Drop-in bobbin Free arm Reverse stitching |
gptkbp:hasFunction |
state-symbol to action mapping
|
gptkbp:hasInflow |
symbols on tape
|
gptkbp:hasProperty |
infinite tape
discrete time steps deterministic or nondeterministic finite set of states finite number of states memoryless except for state transitions depend on input |
gptkbp:hasSibling |
limited memory
cannot solve the halting problem Does not test understanding or consciousness Focuses on linguistic behavior only Subjective judgment Vulnerable to deception cannot compute non-computable functions cannot recognize context-free languages |
gptkbp:hasType |
gptkb:Mealy_machine
gptkb:Moore_machine gptkb:deterministic_finite_automaton gptkb:industry gptkb:non-deterministic_finite_automaton DC Fast Charging Level 1 Charging Level 2 Charging |
gptkbp:hasVariant |
gptkb:multi-tape_Turing_machine
gptkb:quantum_Turing_machine gptkb:nondeterministic_Turing_machine gptkb:probabilistic_Turing_machine gptkb:universal_Turing_machine |
https://www.w3.org/2000/01/rdf-schema#label |
industry
|
gptkbp:industry |
gptkb:artificial_intelligence
|
gptkbp:influenced |
gptkb:Philosophy_of_mind
object-oriented programming workstation computers Garbage collection techniques AI research Emacs development windowing systems |
gptkbp:inspiredBy |
AI ethics debates
AI chatbots |
gptkbp:integratesWith |
gptkb:Enterprise_Resource_Planning
gptkb:Product_Lifecycle_Management gptkb:Supervisory_Control_and_Data_Acquisition |
gptkbp:introducedIn |
1936
|
gptkbp:inventedBy |
gptkb:Alan_Turing
gptkb:Walter_Pitts gptkb:Thomas_Saint gptkb:Warren_McCulloch 1790 |
gptkbp:involves |
Human interrogator
Human respondent Machine respondent |
gptkbp:isFoundationOf |
modern computer science
|
gptkbp:isPartOf |
computation
|
gptkbp:launchVehicle |
gptkb:Ariane_5_ES
|
gptkbp:length |
10.3 m
|
gptkbp:limitation |
cannot recognize context-free languages
|
gptkbp:locatedAt |
Shopping Centers
Highways Residential Buildings Workplaces Public Parking Lots |
gptkbp:locatedIn |
gptkb:United_States
gptkb:city |
gptkbp:location |
gptkb:San_Francisco
|
gptkbp:manufacturer |
gptkb:Airbus_Defence_and_Space
|
gptkbp:marketedBy |
gptkb:Bernina
gptkb:Janome gptkb:Singer_Corporation gptkb:Brother_Industries gptkb:Juki |
gptkbp:mass |
20,750 kg
|
gptkbp:mathematicalProperty |
recognizes regular languages
|
gptkbp:mayBe |
Free
|
gptkbp:mayInclude |
gptkb:Canopy
gptkb:illustration offices workshops factories warehouses storage facilities Cost Battery Storage Time Remaining Lighting Charging Status Energy Delivered |
gptkbp:mayReferTo |
gptkb:authorization
Payment |
gptkbp:method |
Text-based conversation
|
gptkbp:missionType |
cargo resupply
|
gptkbp:monitoredBy |
gptkb:Network_Operators
|
gptkbp:namedAfter |
gptkb:Alan_Turing
|
gptkbp:notableEvent |
gptkb:award
|
gptkbp:notableModel |
gptkb:LMI_Lambda
gptkb:Symbolics_3600 gptkb:TI_Explorer gptkb:Xerox_Dolphin |
gptkbp:notablePerson |
gptkb:Guy_L._Steele_Jr.
gptkb:Daniel_Weinreb gptkb:Richard_Greenblatt gptkb:Russell_Noftsker gptkb:David_Moon gptkb:Tom_Knight gptkb:Richard_Stallman |
gptkbp:notableProject |
gptkb:Zwei
gptkb:Common_Lisp gptkb:Genera_window_system gptkb:Lisp_Machine_Lisp gptkb:Zmacs CADR microcode AI developer tools Open-source LLMs |
gptkbp:notablePublication |
gptkb:Georges_Lemaître
gptkb:Johannes_Kepler gptkb:Albert_Einstein gptkb:Jules_Verne gptkb:Edoardo_Amaldi |
gptkbp:notableRecipient |
gptkb:Xerox
gptkb:Texas_Instruments gptkb:Lisp_Machines,_Inc. gptkb:Symbolics |
gptkbp:numberBuilt |
5
|
gptkbp:numberOfIssues |
over 15,000
|
gptkbp:offeredBy |
gptkb:ABB
gptkb:Rockwell_Automation gptkb:GE_Digital gptkb:SAP gptkb:Siemens gptkb:Oracle gptkb:Schneider_Electric gptkb:Honeywell gptkb:Dassault_Systèmes gptkb:AVEVA |
gptkbp:offersCourse |
gptkb:painter
gptkb:car gptkb:computer_hardware gptkb:engineer gptkb:geographer gptkb:industrialist information technology food production plumber machinist refrigeration and air conditioning laboratory assistant turner sewing technology welder surface ornamentation sheet metal worker foundryman pump operator computer operator network technician baker and confectioner dress making electronics mechanic fire technology and safety fitter hair and skin care health sanitary inspector hospital house keeping marine automobile marine baker and confectioner marine carpenter marine computer hardware marine draughtsman marine dress making marine electrical fitter marine electronics mechanic marine engine fitter marine fire technology and safety marine fitter marine food production marine foundryman marine hair and skin care marine health sanitary inspector marine hospital house keeping marine information technology marine laboratory assistant marine machinist marine mechanic marine mechanic agricultural machinery marine mechanic diesel marine mechanic motor vehicle marine mechanic tractor marine network technician marine physiotherapy technician marine pipe fitter marine plumber marine pump operator marine radiology technician marine refrigeration and air conditioning marine secretarial practice marine sewing technology marine sheet metal worker marine surface ornamentation marine tool and die maker marine turner marine welder marine wireman mechanic agricultural machinery mechanic diesel mechanic motor vehicle mechanic tractor physiotherapy technician radiology technician secretarial practice tool and die maker wireman |
gptkbp:operatedBy |
gptkb:Utility_Companies
Municipalities Private Companies |
gptkbp:operatingSystem |
gptkb:Genera
gptkb:Lisp_Machine_Lisp |
gptkbp:operator |
gptkb:European_Space_Agency
|
gptkbp:outcome |
state (Moore)
state and input (Mealy) |
gptkbp:partOf |
gptkb:Manufacturing_USA
|
gptkbp:passengerCapacity |
up to 7,667 kg
|
gptkbp:poweredBy |
gptkb:energy
Manual |
gptkbp:powerSource |
solar panels
|
gptkbp:precededBy |
gptkb:spacecraft
|
gptkbp:predecessor |
gptkb:CADR
gptkb:CONS_machine |
gptkbp:pressurizedCabin |
up to 4,500 kg
|
gptkbp:productionCompany |
gptkb:clothing
gptkb:leather gptkb:silk Cotton Wool |
gptkbp:propellant |
up to 4,700 kg
|
gptkbp:proposedBy |
gptkb:Alan_Turing
1950 |
gptkbp:provides |
gptkb:energy
|
gptkbp:purpose |
manufacturing
warehousing monitor production processes provide technical education logistics Test a machine's ability to exhibit intelligent behavior indistinguishable from a human control manufacturing operations deliver supplies, fuel, water, and air to ISS track real-time data concentration of industrial development Hosting industrial businesses impart industrial skills |
gptkbp:qualification |
gptkb:National_Trade_Certificate
|
gptkbp:reboostCapability |
yes
|
gptkbp:receivedFundingFrom |
gptkb:U.S._federal_government
|
gptkbp:reduces |
Greenhouse Gas Emissions
|
gptkbp:regulatedBy |
gptkb:Government_Agencies
|
gptkbp:regulates |
subject to environmental regulations
subject to zoning laws |
gptkbp:relatedConcept |
gptkb:award
gptkb:mask gptkb:Chinese_room gptkb:Physical_symbol_system_hypothesis gptkb:Reverse_Turing_test gptkb:Total_Turing_test |
gptkbp:relatedStandard |
gptkb:IEC_62264
gptkb:ISA-88 |
gptkbp:relatedTo |
gptkb:park
gptkb:region gptkb:Post_machine gptkb:industry gptkb:lambda_calculus gptkb:register_machine gptkb:trade_association automation data collection digital transformation regular expressions regular languages finite automaton process optimization regular grammar pushdown automaton supply chain management shop floor control manufacturing intelligence production visibility Embroidery machine Hand sewing Quilting machine Serger |
gptkbp:standardizedBy |
gptkb:ISA-95
|
gptkbp:status |
retired
|
gptkbp:studiedIn |
computational theory
automata theory |
gptkbp:subjectOf |
Safety Standards
Electrical Codes |
gptkbp:successor |
gptkb:Symbolics_3600
none |
gptkbp:supports |
Remote Monitoring
Mobile App Integration Credit Card Payment RFID Access |
gptkbp:target |
gptkb:International_Space_Station
|
gptkbp:targetAudience |
school leavers
|
gptkbp:testDebutDate |
yes
|
gptkbp:transitionedTo |
current state
input symbol |
gptkbp:type |
gptkb:Electronic_sewing_machine
gptkb:Industrial_sewing_machine gptkb:Mechanical_sewing_machine gptkb:Overlock_sewing_machine private public Computerized sewing machine |
gptkbp:underMinistry |
gptkb:Ministry_of_Skill_Development_and_Entrepreneurship
|
gptkbp:unpressurizedCargo |
up to 1,500 kg
|
gptkbp:usedFor |
gptkb:ISS_resupply
gptkb:computer_scientist gptkb:logic waste disposal computability theory science experiments formal language theory cargo delivery ISS maintenance Charging Electric Vehicles water delivery modeling computation modeling communication protocols modeling elevators modeling games modeling lexical analyzers modeling sequential logic modeling software design patterns modeling traffic lights modeling user interfaces modeling vending machines modeling workflows ISS attitude control ISS orbit reboost ISS reboost ISS refueling ISS waste removal air delivery pressurized cargo delivery propellant transfer unpressurized cargo delivery Stitching fabric |
gptkbp:usedIn |
gptkb:Garment_industry
gptkb:embroidery gptkb:industry artificial intelligence research engineering linguistics software engineering symbolic computation Quilting digital circuit design Upholstery computer science Home sewing MIT AI Lab projects |
gptkbp:website |
https://www.technical.machine/
|
gptkbp:yearCompleted |
1943
|
gptkbp:zone |
industrial use
|
gptkbp:bfsParent |
gptkb:National_Academy_of_Sciences
gptkb:inventor |
gptkbp:bfsLayer |
2
|