| dbo:abstract |
In computer science, interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation. (en) Em ciência da computação, computação interativa é um modelo matemático para o cálculo que envolve comunicação com o mundo externo. Isto é em contraste ao entendimento tradicional de cálculo que assume uma simples interface entre o agente de computação e o ambiente, consistindo em fazer uma pergunta (entrada) e gerar uma resposta (saída). A famosa tese de Church-Turing tenta definir computação e computabilidade em termos de Máquinas de Turing. No entanto, a máquina de Turing fornece apenas uma resposta para a questão do que significa computabilidade de funções e, com tarefas interativas que nem sempre são redutíveis a funções, ela falha em captar nossa intuição mais ampla de computação e computabilidade. Embora este fato tenha sido admitido pelo próprio Alan Turing, foi só recentemente que a comunidade científica da Computação Teórica percebeu a necessidade de definir modelos matemáticos adequados de computação interativa. Entre os modelos matemáticos de computação estudados atualmente que tentam capturar a interação são as máquinas fácil-e-difícil de Japaridze, elaboradas nas estruturas de lógica computacional, as máquinas de Turing persistentes de Goldin, e as máquinas de estado abstrato de Gurevich. tem, adicionalmente, feito um grande trabalho nesta área da ciência da computação. (pt) |
| dbo:wikiPageExternalLink |
https://en.wikipedia.org/wiki/Abstract_state_machine http://www.sciencedirect.com/science/article/pii/S0304397597001540 https://www.researchgate.net/profile/Dina_Goldin/publication/225181994_Persistent_Turing_Machines_as_a_Model_of_Interactive_Computation/links/55f2fafd08ae6a34f65e811e/Persistent-Turing-Machines-as-a-Model-of-Interactive-Computation.pdf https://www.sciencedirect.com/science/article/pii/S0890540104001257/pdf%3Fmd5=089dffc5232a9ba5bc71fb41c475afcb&pid=1-s2.0-S0890540104001257-main.pdf http://www.eecs.umich.edu/gasm |
| dbo:wikiPageID |
649418 (xsd:integer) |
| dbo:wikiPageLength |
2259 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1003875897 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Quasi-empiricism_in_mathematics dbr:Membrane_computing dbr:Peter_Wegner dbr:Input/output dbr:Interactive_programming dbr:Computability_logic dbr:Computation dbr:Computer_science dbr:Game_semantics dbr:Giorgi_Japaridze dbr:Abstract_state_machine dbr:RE_(complexity) dbr:Hypercomputation dbc:Theoretical_computer_science dbc:Theory_of_computation dbr:Cirquent_calculus dbr:Human-based_computation dbr:Mathematical_model dbr:Super-recursive_algorithm dbr:Yuri_Gurevich dbr:Dina_Q._Goldin |
| dbp:wikiPageUsesTemplate |
dbt:Cn dbt:Distinguish dbt:ISBN |
| dct:subject |
dbc:Theoretical_computer_science dbc:Theory_of_computation |
| gold:hypernym |
dbr:Model |
| rdf:type |
owl:Thing dbo:Person |
| rdfs:comment |
In computer science, interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation. (en) Em ciência da computação, computação interativa é um modelo matemático para o cálculo que envolve comunicação com o mundo externo. Isto é em contraste ao entendimento tradicional de cálculo que assume uma simples interface entre o agente de computação e o ambiente, consistindo em fazer uma pergunta (entrada) e gerar uma resposta (saída). (pt) |
| rdfs:label |
Interactive computation (en) Computação interativa (pt) |
| owl:differentFrom |
dbr:Interactive_computing |
| owl:sameAs |
freebase:Interactive computation wikidata:Interactive computation dbpedia-pt:Interactive computation https://global.dbpedia.org/id/4niau |
| prov:wasDerivedFrom |
wikipedia-en:Interactive_computation?oldid=1003875897&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Interactive_computation |
| is dbo:wikiPageRedirects of |
dbr:Interaction_computing |
| is dbo:wikiPageWikiLink of |
dbr:Quasi-empiricism_in_mathematics dbr:List_of_computability_and_complexity_topics dbr:Index_of_computing_articles dbr:Interactive_computing dbr:Interactive_programming dbr:Game_theory dbr:Computability_logic dbr:Game_semantics dbr:Logics_for_computability dbr:Super-recursive_algorithm dbr:Interaction_computing |
| is owl:differentFrom of |
dbr:Interactive_computing |
| is foaf:primaryTopic of |
wikipedia-en:Interactive_computation |