Polynomial-time learning of elementary formal systems

Satoru Miyano; Ayumi Shinohara; Takeshi Shinohara

doi:10.1007/bf03037530

Polynomial-time learning of elementary formal systems

New Generation Computing ◽

10.1007/bf03037530 ◽

2000 ◽

Vol 18 (3) ◽

pp. 217-242 ◽

Cited By ~ 21

Author(s):

Satoru Miyano ◽

Ayumi Shinohara ◽

Takeshi Shinohara

Keyword(s):

Polynomial Time ◽

Formal Systems ◽

Polynomial Time Learning

A Polynomial Time Learning Algorithm of Simple Deterministic Languages via Membership Queries and a Representative Sample

Grammatical Inference: Algorithms and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45257-7_23 ◽

2000 ◽

pp. 284-297 ◽

Cited By ~ 1

Author(s):

Yasuhiro Tajima ◽

Etsuji Tomita

Keyword(s):

Polynomial Time ◽

Representative Sample ◽

Learning Algorithm ◽

Membership Queries ◽

Polynomial Time Learning ◽

Simple Deterministic Languages

Polynomial-Time Learning of Very Simple Grammars from Positive Data

COLT ◽

10.1016/b978-1-55860-213-7.50023-7 ◽

1991 ◽

pp. 213-227 ◽

Cited By ~ 4

Author(s):

Takashi YOKOMORI

Keyword(s):

Polynomial Time ◽

Positive Data ◽

Polynomial Time Learning

Polynomial time learning of simple deterministic languages via queries and a representative sample

Theoretical Computer Science ◽

10.1016/j.tcs.2004.08.012 ◽

2004 ◽

Vol 329 (1-3) ◽

pp. 203-221 ◽

Cited By ~ 6

Author(s):

Yasuhiro Tajima ◽

Etsuji Tomita ◽

Mitsuo Wakatsuki ◽

Matsuaki Terada

Keyword(s):

Polynomial Time ◽

Representative Sample ◽

Polynomial Time Learning ◽

Simple Deterministic Languages

Optimistic initialization and greediness lead to polynomial time learning in factored MDPs

Proceedings of the 26th Annual International Conference on Machine Learning - ICML '09 ◽

10.1145/1553374.1553502 ◽

2009 ◽

Cited By ~ 8

Author(s):

István Szita ◽

András Lőrincz

Keyword(s):

Polynomial Time ◽

Polynomial Time Learning

Polynomial-time learning in logic programming and constraint logic programming

Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-63494-0_51 ◽

1997 ◽

pp. 105-126 ◽

Cited By ~ 1

Author(s):

Michèle Sebag ◽

Céline Rouveirol

Keyword(s):

Logic Programming ◽

Polynomial Time ◽

Constraint Logic Programming ◽

Polynomial Time Learning

Polynomial Time Learning of Some Multiple Context-Free Languages with a Minimally Adequate Teacher

Formal Grammar - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32024-8_13 ◽

2012 ◽

pp. 192-207 ◽

Cited By ~ 2

Author(s):

Ryo Yoshinaka ◽

Alexander Clark

Keyword(s):

Polynomial Time ◽

Multiple Context ◽

Polynomial Time Learning ◽

Context Free

Computer Programming and Formal Systems

10.1016/s0049-237x(09)x7005-9 ◽

1959 ◽

Keyword(s):

Computer Programming ◽

Formal Systems

Formal Systems and Recursive Functions

10.1016/s0049-237x(08)x7085-5 ◽

1965 ◽

Keyword(s):

Recursive Functions ◽

Formal Systems

The 2-closure of a 32-transitive group in polynomial time

Sibirskii matematicheskii zhurnal ◽

10.33048/smzh.2019.60.208 ◽

2018 ◽

Vol 60 (2) ◽

pp. 360-375

Author(s):

A. V. Vasil'ev ◽

D. V. Churikov

Keyword(s):

Polynomial Time ◽

Transitive Group

Modality and folk psychology

Studies in history and philosophy of science and technology ◽

10.15421/271903 ◽

2019 ◽

Vol 28 (1) ◽

pp. 19-27

Author(s):

Ja. O. Petik

Keyword(s):

Modal Logic ◽

Brain Activity ◽

Formal System ◽

Philosophy Of Logic ◽

Psychological States ◽

Formal Systems ◽

Modern Psychology ◽

Philosophical Interpretation ◽

Important Direction

The connection of the modern psychology and formal systems remains an important direction of research. This paper is centered on philosophical problems surrounding relations between mental and logic. Main attention is given to philosophy of logic but certain ideas are introduced that can be incorporated into the practical philosophical logic. The definition and properties of basic modal logic and descending ones which are used in study of mental activity are in view. The defining role of philosophical interpretation of modality for the particular formal system used for research in the field of psychological states of agents is postulated. Different semantics of modal logic are studied. The hypothesis about the connection of research in cognitive psychology (semantics of brain activity) and formal systems connected to research of psychological states is stated.