User:Thepigdog

From Knowino
Jump to: navigation, search

Contents

[edit] Main Pages

[edit] Progress

These are the problem areas.

[edit] Symbolic Logic - Learning

How to create a simple learning system that does common sense learning. Not really complicated learning. Association of coincidences. Need a representation of knowledge. Once you have a rich general representation of knowledge learning may be applied to it.

How to give learning universal access so that it may apply to everything.

How to learn syntax. I dont think syntax may be learned alone in isolation. Need a semantic context, and then build up syntax from simple examples.

What is a semantic context. It is the representation of all knowledge made available to the learning system.

[edit] OO

Is there a need for a vertical slicing of classes. For example for any business object such as a Trade there is

Using fine grained renaming inheritance each of these areas of functionality are inherited from attributes. So an attribute and every other class business object needs to be sliced up in many ways. Perhaps the word "section" is appropriate to describe each slice.

The idea is that you can declare the sections that any class has. Then add functions to that section. Each section is compiled separately and does not depend on classes related to other sections. For example GUI software would use GUI classes which other sections dont need to know about.

However there should be core (outside any section) attributes and functions which all sections may access.

You shouldnt pay for a section unless you ask for it. The attributes in a section should only be allocated memory if the section functionality is required.

Separate page to discuss sections? Include renaming inheritance?

[edit] Problems with Sections

Are sections like classes with separate object instances? Can a section instance be attached to multiple class instances? This implies assignment and imperative programming which is bad.

For example with a GUI, there is normally a single instance representing the presentation (the form). In the form a frame will be dedicated to displaying the details of an instance.

It is conventient that the controls on that frame be attached to a single controller. THat controller is then dynamically connected to a model object, selected from a list of model objects.

But this is not a mathematical or logic programming approach.

The closest is that the combination of controller and business object forms a tuple. Methods are then called on the tuple.

I dont have a good answer to this problem. This then undermines the idea of the section.

[edit] Sections as Type Overriding

If functions can be overridden in inherited classes, why cant types. Type overriding could give us sections. A base class called Framework could define the type names (Controller, XMLCreator, Persistence, etc). Each type name would define a section within the framework class. Inheriting classes would implement the types for each section. A class may inherit multiple definitions of sections, and combine the section type defintions to form a single definition of a section class. (I am not sure if this works logically).

For example the controller class for a trade would inherit from the controller class for each attribute, to produce a class inheritance structure for the controller class.

But this still doesnt solve the problem of a single controller being dynamically linked to model instances over time.

[edit] Controller has a timelist of model instances

The GUI is naturally dynamic and time dependent, as it models the active flow of the world. So it makes sense for the controller to include a time list of model classes, that are attached to the model at that time. This is feasable but not terribly elligant.

[edit] Meta Programming

Meta programming should be as unobtrusive as possible. My page on meta programming is really weak and doesnt say what I mean. Perhaps the meta-programming page should come before OO. Ideally OO is just logic features added using meta-programming. But there are specific implementation strategies associated with OO. How to resolve this tension.

Meta logic should be just like other logic, but applied in a particular meta-phase.

[edit] Diagrams

What is the role of diagrams.

[edit] Set operations

Count, sum, list, sort. Need to wait until set is complete before they can be applied. Need to document this.

[edit] User

Drafts

[edit] Tasks

Retrieved from "http://knowino.org/wiki/User:Thepigdog"
Personal tools
Namespaces
Variants
Actions
Navigation
Community
Toolbox